منابع مشابه
Concepts of Cottbus Timed Automata
Today, many industrial production cells are controlled by software. Many such systems have to deal with requirements which the developer has to guarantee. Because of the complexity of the implementation one of the main problems for developing the software for reactive systems is to be sure that such properties are fulfilled. One way to handle the problems is to use formal methods: This means to...
متن کاملBrandenburg University of Technology at Cottbus
We report on the results of an investigation into the application of three Petri net approaches for the modelling and analysis of biochemical networks: discrete, continuous and stochastic Petri nets. We mimic the modelling and analysis steps, which have been proposed in [1] for an extended ERK pathway model. We can confirm that analyses based on a discrete Petri net model of the system can be u...
متن کاملBrandenburg University of Technology at Cottbus
The paper is a survey of the soft computing methods and their application to the data mining problems. Neural networks, fuzzy sets, neurofuzzy systems, and genetic algorithms are considered. The advantages and disadvantages of the soft computing tools as well as specific issues of their application to the processing of large datasets are analyzed, and the directions for their further improvemen...
متن کاملCottbus Timed Automata: Formal Definition and Semantics
We present a formalism for modular modelling of hybrid systems, the Cottbus Timed Automata. For the theoretical basis, we build on work about timed and hybrid automata. We use concepts from concurrency theory to model communication of separately defined modules, but we extend these concepts to be able to express explicitly readand write-access to signals and variables.
متن کاملFormale Verifikation von Realzeit-Systemen mittels Cottbus-Timed-Automata
Die Konstruktion eingebetteter Systeme, die starke RealzeitAnforderungen zu erfüllen haben, wird in den verschiedensten Anwendungsbereichen immer bedeutsamer, z. B. in der Medizin, der Transporttechnik oder der Produktionsautomatisierung. Formale Methoden unterstützen die fehlerarme Entwicklung solcher Systeme, weil sie auf einer präzisen mathematischen Grundlage aufbauen. Der Autor entwickelt ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Kinema: A Journal for Film and Audiovisual Media
سال: 2004
ISSN: 2562-5764,1192-6252
DOI: 10.15353/kinema.vi.1060